Eléments de l'association
|  |
List of bibliographic references
Number of relevant bibliographic references: 7.| Ident. | Authors (with country if any) | Title |
|---|---|---|
| 000639 | Aurel Randolph [Canada] ; Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Alejandro Quintero [Canada] | On Synthesizing a Consistent Operational Transformation Approach |
| 000661 | Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Alejandro Quintero [Canada] | Spécification et Analyse d’un Protocole de Contrôle d’Accès Optimiste pour Éditeurs Collaboratifs Répartis |
| 001009 | Aurel Randolph [Canada] ; Abdessamad Imine [France] ; Hanifa Boucheneb [Canada] ; Quintero Alejandro | Specification and Verification Using Alloy of Optimistic Access Control for Distributed Collaborative Editors |
| 001986 | Aurel Randolph ; Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Quintero Alejandro | On Consistency of Operational Transformation Approach |
| 002A25 | Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] ; Manal Najem [Canada] | Symbolic Model-Checking of Optimistic Replication Algorithms |
| 003556 | Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] | On Model-Checking Optimistic Replication Algorithms |
| 004572 | Hanifa Boucheneb [Canada] ; Abdessamad Imine [France] | Experiments in Model-Checking Optimistic Replication Algorithms |
| This area was generated with Dilib version V0.6.33. |  |